• Ihr Warenkorb ist leer.
Zur Kasse

6 Ergebnisse.

Theoretische Informatik - kurz gefasst

Theoretische Informatik - kurz gefasst

Schöning, Uwe
Dieses in der 5. Auflage vorliegende Standardwerk macht Sie in kompakter Form mit den wesentlichen Grundzügen der Theoretischen Informatik vertraut. Der erste und größte Teil behandelt Formale Sprachen, Grammatiken und Automaten. Prof. Schöning gelingt durch seinen verständlichen Beweisstil und viele Beispiele eine übersichtliche und im Detail gut nachvollziehbare Darstellung dieses grundlegenden Gebietes der Theoretischen Informatik. Es schließt sich die Behandlung ...

49,50 CHF

Algorithmik

Algorithmik

Schöning, Uwe
Dieses Lehrbuch der Algorithmik stellt die grundlegenden Algorithmen dar und vermittelt die Prinzipien von Algorithmusanalyse und -entwurf. In einem einführenden Kapitel werden die benötigten Grundbegriffe aus der Theoretischen Informatik, der Stochastik und der Komplexitätsanalyse bereitgestellt. Die folgenden Kapitel behandeln die Gebiete Sortieren und Selektion, Hashing, Dynamisches Programmieren, Greedy-Algorithmen, Algorithmen auf Graphen, Optimiertes Suchen in Bäumen, Datenkompression sowie algebraische Algorithmen, String ...

54,50 CHF

Das Erfüllbarkeitsproblem SAT

Das Erfüllbarkeitsproblem SAT

Schöning, Uwe / Torán, Jacobo
SAT (für satisfiability) ist der Name des bekanntesten NP-vollständigen Problems, des Erfüllbarkeitsproblems der Aussagenlogik. Gegeben ist hierbei eine Formel mit Boole'schen Variablen und Verknüpfungen und gesucht wird eine "Lösung", also eine Wertezuweisung an die Variablen, so dass die Formel wahr wird. Dieses algorithmische Problem ist Dreh- und Angelpunkt für alle NP-Vollständigkeitsnachweise und wurde schon als "Drosophila" der Algorithmik bezeichnet. Für ...

30,90 CHF

Mathe-Toolbox

Mathe-Toolbox

Schöning, Uwe / Kestler, Hans A.
Der größte Stolperstein in den ersten Semestern eines Informatik- oder Ingenieur­studiums ist für viele Studienanfänger die Mathematik. Die zunächst ungewohnte mathematische Notation sowie die konsequente Art, eine Behauptung durch einen Beweis zu begründen, stellt sich oft wie ein Eintreten in eine neue, bisher nicht bekannte Welt dar. Hier will dieser Leitfaden helfen und die Studierenden während der ersten Semester begleiten. ...

20,90 CHF

Ideen der Informatik

Ideen der Informatik

Schöning, Uwe
Dieses Buch beschreitet einen neuen Weg. Inhalte der Informatik, größtenteils aus dem Bereich der Theoretischen Informatik, wie sie meist nur an den Universitäten mit der ganzen dahinter steckenden Tiefe und Strukturtheorie gelehrt werden, werden hier für ein breiteres Publikum aufbereitet und verfügbar gemacht. Der Autor verdeutlicht, dass der Zugang zur Informatik über die formale Methode, die Grundideen und die Algorithmik ...

67,00 CHF

Logik für Informatiker

Logik für Informatiker

Schöning, Uwe
Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet. Prof. Schöning gelingt ...

39,90 CHF

Ergebnisse anzeigen für